The inconsistency predicate on De Morgan lattices
نویسندگان
چکیده
منابع مشابه
Belnap's Four-Valued Logic and De Morgan Lattices
In my paper [3], recently published in this Journal, I study several aspects of the relations between Belnap's logic B and the class DM of De Morgan lattices. Some of these relations concern a Gentzen system for Belnap's logic, denoted by G B , which was introduced in 1988 by my colleague Ventura Verdú and me (see [5] and [6]); indeed, the study of this Gentzen system within the theory of full ...
متن کاملConsistency in Fuzzy Description Logics over Residuated De Morgan Lattices
Fuzzy description logics can be used to model vague knowledge in application domains. This paper analyses the consistency and satisfiability problems in the description logic SHI with semantics based on a complete residuated De Morgan lattice. The problems are undecidable in the general case, but can be decided by a tableau algorithm when restricted to finite lattices. For some sublogics of SHI...
متن کاملAlgebraic models of deviant modal operators based on de Morgan and Kleene lattices
An algebraic model of a kind of modal extension of de Morgan logic is described under the name MDS5 algebra. The main properties of this algebra can be summarized as follows: (1) it is based on a de Morgan lattice, rather than a Boolean algebra; (2) a modal necessity operator that satisfies the axioms N , K, T , and 5 (and as a consequence also B and 4) of modal logic is introduced; it allows o...
متن کاملDe Morgan Triples Revisited
In this paper we overview basic known results about the varieties generated by De Morgan triples and about the problem to find equations defining the variety generated by a concrete De Morgan triple. We also provide some alternative proofs and some new results, specially for the case of Łukasiewicz De Morgan triples.
متن کاملContact relation on De Morgan algebra
In the paper, the notion of a contact relation on de Morgan algebra is defined, the algebraic structure of all contact relations and the connection to the set of all close, reflexive and symmetric relations on all maximal filters are investigated. 2010 AMS Classification: 06D30, 06F30, 54E05, 54H12
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: AUC PHILOSOPHICA ET HISTORICA
سال: 2017
ISSN: 2464-7055,0567-8293
DOI: 10.14712/24647055.2017.15